A Modular and Statically Typed Effectful Stack for Custom Graph Traversals

Programmers often have to implement custom graph traversals by hand as either there are no suitable text-book algorithms for their tasks, or their problems are too complex for a pure querying language that lacks modularity or static typing. Our new Scala-based graph traversal language uses an effectful stack that adapts monads and type classes. Arbitrary graph effect computations and graph processing rules can be defined and composed in a modular and statically typed way. Custom graph traversals become expressible in a concise notation, run both in-memory and on graph databases, and also allow for parallelization. We evaluate the usability of our approach by detecting occurences of an anti-pattern in a Java source code archive. Our approach outperforms the well-known Gremlin approach due to parallelization

Java Seminarbeiträge

Zusammenstellung der Beitraege des Java-Seminars, das im Sommersemester 1996 in Form eines Kompakt-Seminars am Institut fuer Programmstrukturen und Datenorganisation durchgefuehrt wurde. Es werden Grundlagen und Spracheigenschaften von Java behandelt, einschliesslich Threads und Synchronisierung. Ferner werden die verfuegbaren Klassenbibliotheken vorgestellt. Einen weiteren Schwerpunkt des Seminars bilden Bytecode, Just-In-Time-Uebersetzung und das Sicherheitskonzept von Java. Randthemen wie die Kombination von Java und CORBA, die angekuendigte Implementierung von Java in Hardware und die Vorstellung von EspressoGrinder, eines am IPD entwickelten Java Uebersetzers, runden das Seminar ab